Showing 1 - 3 of 3 Results
1.
Verification of Sequential and Concurrent Programs by Apt, K. R., Olderog, F. R.,... ISBN: 9780387975320 List Price: $59.95
2.
Verification of Sequential and Concurrent Programs by Olderog, Ernst-RĂ¼diger, Apt... ISBN: 9780387948966 List Price: $129.00
3.
Logics and Models of Concurrent Systems by Apt, K. R. ISBN: 9780387151816 List Price: $98.00